Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·9h
📼Tape Combinators
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·9h
⚡Incremental Computation
A brief consideration of input shapes (fuzzing)
addisoncrump.info·21h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·9h
🔗Functional Compilers
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·7h
🌊Stream Ciphers
Are We Teaching Rust Effectively?
blog.kodewerx.org·23h·
Discuss: Hacker News
🦀Rust Borrowing
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·3h
🧬Palindrome Codes
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·2d·
Discuss: DEV
👁️System Observability
Multi-Modal MCP Servers: Handling Files, Images, and Streaming Data
hackernoon.com·9h
🌊Streaming Systems
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·15h
🔗Functional Compilers
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·9h
🔗Parser Combinators
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org·9h
📊Computational Geometry
Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.com·6h
🔍Vector Forensics
The Network Times: AI Cluster Networking
nwktimes.blogspot.com·2h·
Discuss: Hacker News
📊Homelab Monitoring
Binary Tree BFS: Zigzag Order
mmhaskell.com·5h
🔗Topological Sorting
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·9h
🎨Graph Coloring
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·9h
🔗Concatenative Programming
AI 'Map Reduce': Scaling AI Tasks
danielsada.tech·4h·
Discuss: Hacker News
⚙️Batch Processing
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·9h
🧠Machine Learning
Group Fairness Meets the Black Box: Enabling Fair Algorithms on Closed LLMs via Post-Processing
arxiv.org·9h
🧮Kolmogorov Bounds